active(t1).
active(t2).
active(t3).
active(t4).
active(t5).
active(t6).
active(t7).
active(t8).
active(t9).
active(t10).
active(t11).
active(t12).
active(t13).
active(t14).
active(t15).
active(t16).
active(t17).
active(t18).
active(t19).
active(t20).
active(t21).
active(t22).
active(t23).
active(t24).
active(t25).
active(t26).
active(t27).
active(t28).
active(t29).
active(t30).
